home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / quintus / quintus0.lha / work / p6a.clin2.in < prev    next >
Text File  |  1992-04-03  |  26b  |  3 lines
  1. prove('p6a.clin2').
  2. halt.
  3.